In [6] Albert Visser shows that ILP completely axiomatizes all schemata about provability and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called ILP that completely axiomatizes the arithmetically valid principles of provability in and interpretability over such theories. To prove the arithmetical completeness of ILP we use a suitable kind of tail models; as a byproduct we obtain a somewhat modified proof of Visser's completeness result.

In [6] Albert Visser shows that ILP completely axiomatizes all schemata about provability and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called $\text{ILP}^{\omega}$ that completely axiomatizes the arithmetically valid principles of provability in and interpretability over such theories. To prove the arithmetical completeness of $\text{ILP}^{\omega}$ we use a suitable kind of tail models; as a byproduct we obtain a somewhat modified proof of Visser's completeness result.

This article discusses the role of moment-to-moment affect dynamics in mental disorder and aims to integrate recent literature on this topic in the context of complex dynamical system theory. First, we will review the relevance of temporal and contextual aspects of affect dynamics in relation to psychopathology. Related to this, we will discuss recent insights resulting from a network view on affect dynamics in psychopathology. Next, we explore how we can reconcile literature findings from a perspective of complex dynamical system (...) theory. Finally, future directions with regard to personalized assessment of risk and diagnostic use are discussed. (shrink)

In this paper we study essential hereditary undecidability. Theories with this property are a convenient tool to prove undecidability of other theories. The paper develops the basic facts concerning essentially hereditary undecidability and provides salient examples, like a construction of essentially hereditarily undecidable theories due to Hanf and an example of a rather natural essentially hereditarily undecidable theory strictly below. We discuss the (non-)interaction of essential hereditary undecidability with recursive boolean isomorphism. We develop a reduction relation essential tolerance, or, in (...) the converse direction, lax interpretability that interacts in a good way with essential hereditary undecidability. We introduce the class of $$\Sigma ^0_1$$ Σ 1 0 -friendly theories and show that $$\Sigma ^0_1$$ Σ 1 0 -friendliness is sufficient but not necessary for essential hereditary undecidability. Finally, we adapt an argument due to Pakhomov, Murwanashyaka and Visser to show that there is no interpretability minimal essentially hereditarily undecidable theory. (shrink)

This paper is concerned with the logical structure of arithmetical theories. We survey results concerning logics and admissible rules of constructive arithmetical theories. We prove a new theorem: the admissible propositional rules of Heyting Arithmetic are the same as the admissible propositional rules of Intuitionistic Propositional Logic. We provide some further insights concerning predicate logical admissible rules for arithmetical theories.

Companies increasingly seek to strategically integrate social objectives in commercial activities to address societal challenges, yet little is known about how companies can sustain such a commitment over time. To address this question, we conduct a case-based, abductive study of two pharmaceutical companies widely considered industry leaders in facilitating access to medicine over a 20-year period (2000–2019). We identify product and operation-level integration as distinct types of integration efforts enacted by these companies. Tracing the intraorganizational dynamics associated with these efforts, (...) we theorize that sustained integration is contingent on companies’ ability to respond to and address the challenges specific to product and operation-level integration. The theoretical framework we develop contributes to an emerging debate on the potential of companies to make progress on societal challenges by strategically integrating social objectives, including but not limited to those related to global health. (shrink)

Argument schemes are abstractions substantiating the inferential connection between premise(s) and conclusion in argumentative communication. Identifying such conventional patterns of reasoning is essential to the interpretation and evaluation of argumentation. Whether studying argumentation from a theory-driven or data-driven perspective, insight into the actual use of argumentation in communicative practice is essential. Large and reliably annotated corpora of argumentative discourse to quantitatively provide such insight are few and far between. This is all the more true for argument scheme corpora, which tend (...) to suffer from a combination of limited size, poor validation, and the use of ad hoc restricted typologies. In the current paper, we describe the annotation of schemes on the basis of two distinct classifications: Walton’s taxonomy of argument schemes, and Wagemans’ Periodic Table of Arguments. We describe the annotation procedure for each, and the quantitative characteristics of the resulting annotated text corpora. In doing so, we extend the annotation of the preexisting US2016 corpus of televised election debates, resulting in, to the best of our knowledge, the two largest consistently annotated corpora of schemes in argumentative dialogue publicly available. Based on evaluation in terms of inter-annotator agreement, we propose further improvements to the guidelines for annotating schemes: the argument scheme key, and the Argument Type Identification Procedure. (shrink)

Pure Type Systems, PTSs, were introduced as a generalization of the type systems of Barendregt's lambda cube and were designed to provide a foundation for actual proof assistants which will verify proofs. Systems of illative combinatory logic or lambda calculus, ICLs, were introduced by Curry and Church as a foundation for logic and mathematics. In an earlier paper we considered two changes to the rules of the PTSs which made these rules more like ICL rules. This led to four kinds (...) of PTSs. Most importantly PTSs are about statements of the form M:A, where M is a term and A a type. In ICLs there are no explicit types and the statements are terms. In this paper we show that for each of the four forms of PTS there is an equivalent form of ICL, sometimes if certain conditions hold. (shrink)

Some influence of Chaucer’s The Clerk’s Tale, also known as the story of the patient Griselda, on Shakespeare, and particularly on The Winter’s Tale, has long been recognized. It seems, however, that the matter deserves further attention because the echoes of The Clerk’s Tale seem scattered among a number of Shakespeare’s plays, especially the later ones. The experimental nature of this phenomenon consists in the fact that Griselda-like characters do not strike the reader, especially perhaps the Renaissance reader, as good (...) protagonists of a tragedy, or even a problem comedy. The Aristotelian conception of the tragic hero does not seem to fit Griselda because there is no “tragic fault” in her: she is completely innocent. It was thus a bold decision on the part of Shakespeare to use this archetype as a corner stone of at least some of his plays. (shrink)

Two of the tales mentioned in the title are in many ways typical of the great collections of stories to which they belong. What makes them conspicuous is no doubt the intensity of the erotic desire presented as the ultimate law which justifies even the most outrageous actions. The cult of eroticism is combined there with a cult of youth, which means disaster for the protagonists, who try to combine eroticism with advanced age. And yet the stories in question have (...) roots in a very different tradition in which overt eroticism is punished and can only reassert itself in a chastened form, its transformation being due to sacrifices made by the lover to become reunited with the object of his love. A medieval example of the latter tradition is here the Middle English romance, Sir Orfeo. All of the three narratives are conspicuously connected by the motif of the enchanted tree. The Middle Ages are associated with a tendency to moralize ancient literature, the most obvious example of which is the French anonymous work Ovide moralisé, and its Latin version Ovidius Moralizatus by Pierre Bersuire. In the case of The Merchant’s Tale and The Tale of the Enchanted Pear-Tree, we seem to meet with the opposite process, that is with a medieval demoralization of an essentially didactic tradition. The present article deals with the problem of how this transformation could happen and the extent of the resulting un-morality. Some use has also been made of the possible biblical parallels with the tales in question. (shrink)

The aim of the article is to investigate some of the possible sources of inspiration for Orwell’s concept of the artificial language called Newspeak, which, in his novel Nineteen Eighty-Four, is shown as an effective tool of enslavement and thought control in the hands of a totalitarian state. The author discusses, in this context, the putative links between Newspeak and really existing artificial languages, first of all Esperanto, and also between Orwell’s notion of “doublethink”, which is an important feature of (...) the totalitarian mentality, and Czesław Miłosz’s notion of “ketman”, developed in his book The Captive Mind. But the main emphasis is on the connection between Orwell’s book and the slightly earlier novel by C.S. Lewis, That Hideous Strength. It is well known that Orwell knew Lewis’s book and expressed his mixed feelings about it. There are many specific, though far from obvious, similarities between the two books, but what seems to have been particularly inspiring for Orwell was Lewis’s vision of a thoroughly degenerate language that is used for political manipulation rather than for communication. (shrink)

In this paper we study proofs of some general forms of the Second Incompleteness Theorem. These forms conform to the Feferman format, where the proof predicate is fixed and the representation of the set of axioms varies. We extend the Feferman framework in one important point: we allow the interpretation of number theory to vary.

In his _Between Logic and the World_, in the course of presenting his theory of generics, Nickel (Between logic and the world, Oxford University Press, 2016) argues for a theory of characteristicness, or “genericity”, which states that a property is characteristic for a kind if and only if its presence among the members of that kind is explicable by some explanatory domain that recognizes the existence of that kind in the course of engaging the explanatory strategies made available by that (...) explanatory domain. I argue that this notion of genericity is too narrow, excluding properties characteristic for kinds that go unrecognized in such explanatory domains. In particular, Nickel’s theory excludes some characteristic properties of anthropic kinds, such as lilies and cedars, members of which have properties that may be similarly exploited in various human practices despite having divergent geneses. I argue for a generalization of Nickel’s view of genericity where explicability of presence is only one sort of genericity, with others, such as practicability, being possible too. (shrink)

The reason of faith -- Thought and language -- Truth -- The Monologion arguments for the existence of God -- The Proslogion argument for the existence of God -- The divine attributes -- Thinking and speaking about God -- Creation and the word -- The Trinity -- Modality -- Freedom -- Morality -- Incarnation and atonement -- Original sin, grace, and salvation.

In this paper we describe a framework for the construction of entities that can serve as interpretations of arbitrary contiguous chunks of text. An important part of the paper is devoted to describing stacking cells, or the proposed meanings for bracket-structures.

Undergraduate geoscience students are rarely exposed to history and philosophy of science. I will describe the experiences with a short course unfavourably placed in the first year of a bachelor of earth science. Arguments how HPS could enrich their education in many ways are sketched. One useful didactic approach is to develop a broader interest by connecting HPS themes to practical cases throughout the curriculum, and develop learning activities that allow students to reflect on their skills, methods and their field (...) in relation to other disciplines and interactions with society with abilities gained through exposure to HPS. Given support of the teaching staff, the tenets of philosophy of science in practice, of conceptual history of knowledge, and of ethics of science for society can fruitfully and directly be connected to the existing curriculum. This is ideally followed by a capstone HPS course late in the bachelor programme. (shrink)

The rise of the platform economy in the past two decades (and neoliberal capitalist expansion and crises more in general), have on the whole negatively affected working conditions, leading to growing concerns about the “human side” of organizations. To address these concerns, the purpose of this paper is to apply Axel Honneth’s recognition theory and method of normative reconstruction to working conditions in the platform economy. The paper concludes that the ways in which platform organizations function constitutes a normative paradox, (...) promising flexibility and autonomy while at the same time creating working conditions that undercut these promises. The paper ends with a critical discussion of Honneth’s approach, possible supplementing ideas and further lines of future research. (shrink)

The central result of this paper is the small‐is‐very‐small principle for restricted sequential theories. The principle says roughly that whenever the given theory shows that a definable property has a small witness, i.e., a witness in a sufficiently small definable cut, then it shows that the property has a very small witness: i.e., a witness below a given standard number. Which cuts are sufficiently small will depend on the complexity of the formula defining the property. We draw various consequences from (...) the central result. E.g., roughly speaking, (i) every restricted, recursively enumerable sequential theory has a finitely axiomatized extension that is conservative with respect to formulas of complexity ; (ii) every sequential model has, for any n, an extension that is elementary for formulas of complexity, in which the intersection of all definable cuts is the natural numbers; (iii) we have reflection for ‐sentences with sufficiently small witness in any consistent restricted theory U; (iv) suppose U is recursively enumerable and sequential. Suppose further that every recursively enumerable and sequential V that locally inteprets U, globally interprets U. Then, U is mutually globally interpretable with a finitely axiomatized sequential theory. The paper contains some careful groundwork developing partial satisfaction predicates in sequential theories for the complexity measure depth of quantifier alternations. (shrink)

The aim of this paper is to show the role, the possibilities and the limits of Wyspiański’s national thinking through Shakespeare’s Hamlet. Of particular importance, in this context, is the role the Ghost takes in Wyspiański’s celebrated interpretation of Shakespeare’s Hamlet. By the Ghost we mean the spirit of history, the ghost of a father, the spirit of the fatherland, the voice of the ancestors, and particularly that of the Polish king Casimir the Great, as well as the Holy Ghost (...) and the Evil Spirit because all these aspects of the Ghost belong to Wyspiański’s vision. The play in question bears witness to what the Polish poet calls “the truth of other worlds,” as well as the truth of the theatre, which Wyspiański calls the labyrinth. The poet manages to reduce, to some extent, this difficult truth to the truth of the world he cared most about, that is the present and historical reality of Poland, more specifically the city of Cracow, known as Poland’s spiritual, that is “ghostly,” and only virtual, capital. It is also remarkable that Wyspiański saw the Ghost in Hamlet in the context of other Shakespearean ghosts, apparitions and magicians, such as those that appear in Macbeth, The Tempest, Julius Caesar, A Midsummer Night’s Dream or Richard III. At the same time, Wyspiański realizes that the Ghost, with its irrationalism, offends the spirit of post-medieval times, and as such, is understandably neglected by Hamlet, who for Wyspiański, in anticipation of Harold Bloom, stands for modernity. (shrink)

Peirce algebras combine sets, relations and various operations linking the two in a unifying setting. This paper offers a modal perspective on Peirce algebras. Using modal logic as a characterization of the full Peirce algebras is given, as well as a finite axiomatization of their equational theory that uses so-called unorthodox derivation rules. In addition, the expressive power of Peirce algebras is analyzed through their connection with first-order logic and the fragment of first-order logic corresponding to Peirce algebras is described (...) in terms of bisimulations. (shrink)

For an arbitrary similarity type of Boolean Algebras with Operators we define a class of Sahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities are canonical, that is, their validity is preserved under taking canonical (...) embedding algebras. Taken together, these properties imply that results about a Sahlqvist variety V van be obtained by reasoning in the elementary class of canonical structures of algebras in V. We give an example of this strategy in the variety of Cylindric Algebras: we show that an important identity called Henkin's equation is equivalent to a simpler identity that uses only one variable. We give a conceptually simple proof by showing that the firstorder correspondents of these two equations are equivalent over the class of cylindric atom structures. (shrink)

This article looks at how imaginaries of land and climate play a role in farmland investment discourses and practices. Foreign farmland investors in the fertile black earth region of Russia and Ukraine have ‘celebrated’ soil fertility while largely ignoring climatic factors. The article shows a centuries-long history of outsiders coming to the region lured by the fertile soils, while grossly underestimating climate which has had disastrous implications for farm viability and the environment. Comparisons with historical and contemporary literature on other (...) regions suggest that the underestimation of climatic risks by newcomers is remarkably prevalent in resource frontiers. (shrink)

This chapter contains sections titled: Introduction Object and Aims of Earth Science The Autonomy of Earth Science Explanation in Earth Science Conclusion Acknowledgment References.

The present paper presents a philosophical analysis of earth science, a discipline that has received relatively little attention from philosophers of science. We focus on the question of whether earth science can be reduced to allegedly more fundamental sciences, such as chemistry or physics. In order to answer this question, we investigate the aims and methods of earth science, the laws and theories used by earth scientists, and the nature of earth-scientific explanation. Our analysis leads to the tentative conclusion that (...) there are emergent phenomena in earth science but that these may be reducible to physics. However, earth science does not have irreducible laws, and the theories of earth science are typically hypotheses about unobservable (past) events or generalised - but not universally valid - descriptions of contingent processes. Unlike more fundamental sciences, earth science is characterised by explanatory pluralism: earth scientists employ various forms of narrative explanations in combination with causal explanations. The main reason is that earth-scientific explanations are typically hampered by local underdetermination by the data to such an extent that complete causal explanations are impossible in practice, if not in principle. (shrink)

The present study examined whether individuals with full-blown memories of highly implausible events are prone to commit source monitoring errors. Participants reporting previous-life memories and those without such memories completed a false fame task. This task provides an index of source monitoring errors . Participants with previous-life memories had a greater tendency to judge the names of previously presented non-famous people as famous than control participants. The two groups did not differ in terms of correct recognition of new non-famous names (...) and famous names. Although dissociation, cognitive failures, sleep-related experiences, depressive symptoms, and signs of psychological distress were all significantly higher in participants with previous-life memories than in controls, these variables did not predict the false fame illusion. (shrink)

Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi ...

Relationalism maintains that perceptual experience involves, as part of its nature, a distinctive kind of conscious perceptual relation between a subject of experience and an object of experience. Together with the claim that perceptual experience is presentational, relationalism is widely believed to be a core aspect of the naive realist outlook on perception. This is a mistake. I argue that naive realism about perception can be upheld without a commitment to relationalism.

Philosophers and psychologists often assume that mirror reflections are optical illusions. According to many authors, what we see in a mirror appears to be behind it. I discuss two strategies to resist this piece of dogma. As I will show, the conviction that mirror reflections are illusions is rooted in a confused conception of the relations between location, direction, and visibility. This conception is unacceptable to those who take seriously the way in which mirrors contribute to our experience of the (...) world. My argument may be read as an advertisement of the neglected field of philosophical catoptrics, the philosophical study of the optical properties of mirrors. It enables us to recast familiar issues in the philosophy of perception. (shrink)

This paper is concerned with notions of consequence. On the one hand, we study admissible consequence, specifically for substitutions of Σ 1 0 -sentences over Heyting arithmetic . On the other hand, we study preservativity relations. The notion of preservativity of sentences over a given theory is a dual of the notion of conservativity of formulas over a given theory. We show that admissible consequence for Σ 1 0 -substitutions over HA coincides with NNIL -preservativity over intuitionistic propositional logic . (...) Here NNIL is the class of propositional formulas with no nestings of implications to the left . The identical embedding of IPC -derivability into a consequence relation has in many cases a left adjoint. The main tool of the present paper will be an algorithm to compute this left adjoint in the case of NNIL -preservativity. In the last section, we employ the methods developed in the paper to give a characterization the closed fragment of the provability logic of HA. (shrink)

Part of the distinction between artefacts, objects made by humans for particular purposes, and natural objects is that artefacts are subject to normative judgements. A drill, say, can be a good drill or a poor drill, it can function well or correctly or it can malfunction. In this paper I investigate how such judgements fit into the domain of the normative in general and what the grounds for their normativity are. Taking as a starting point a general characterization of normativity (...) proposed by Dancy, I argue how statements such as ‘this is a good drill’ or ‘this drill is malfunctioning’ can be seen to express normative facts, or the content of normative statements. What they say is that a user who has a desire to achieve a particular relevant outcome has a reason to use, or not to use, the artefact in question. Next this analysis is extended to show that not just statements that say that an artefact performs its function well or poorly, but all statements that ascribe a function to an artefact can be seen as expressing a normative fact. On this approach the normativity of artefacts is analyzed in terms of reasons on grounds of practical, and to a lesser extent theoretical, rationality. I close by investigating briefly to what extent reasons on moral grounds are, in the analysis adopted here, involved in the normativity of artefacts.Keywords: Artefact; Normativity; Instrumental reason; Practical rationality; Function; Use. (shrink)

This paper presents an overview of the elements which characterize a research attitude and approach introduced by Michel Foucault and further developed as ‘studies of governmentality’ into a sub‐discipline of the humanities during the past decade, including also applications in the field of education. The paper recalls Foucault's introduction of the notion of ‘governmentality’ and its relation to the ‘mapping of the present’ and sketches briefly the way in which the studies of governmentality have been elaborated in general and in (...) the context of research in education more particularly. It indicates how the studies of governmentality can be related to a cartography of the learning society, a cartography which helps us to get lost and to liberate our view. (shrink)